“中子都是不带电的”这一判断是（ ）。

• A、全称肯定判断
• B、全称否定判断
• C、特称肯定判断
• D、特称否定判断

有效的三段论推理形式有（ ）。

• A、第一格 AEA 式
• B、第二格 AOA 式
• C、第三格 AII 式
• D、第四格 AEE 式
• E、第二格 OEA 式

某电路中有 S、T、W 、X 、Y、Z 六个开关，使用这些开关必须满足下列的条件：

（1）如果 W 接通，则 X 也要接通。

（2）只有断开 S，才能断开 T。

（3）T 和 X 不能同时接通，也不能同时断开。

（4）如果 Y 和 Z 同时接通，则 W 也必须接通。

试问：如果现在 S 和 Z 同时处于接通状态，则其余开关的状态是什么？写出推导过程。